OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]

In this report we present an extension OMDoc to the OpenMath standard that allows to represent the semantics and structure of various kinds of mathematical documents, including articles, textbooks, interactive books, courses. It can serve as the content language for agent communication of mathematical services on a mathematical software bus. We motivate and describe the OMDoc language and present an Xml document type definition for it. Furthermore, we discuss applications and tool support. Status of this document: This document describes version 1.0 of the OMDoc format, released November 1. 2000. Version 1.0 is the result of using OMDoc in various experiements and projects, stabilizes these experiences to serve as a basis for more sophisticated tools. The document type definition can be found at http: // www. mathweb. org/ omdoc/ dtd/ omdoc1. 0. dtd . The OMDoc format will continue to evolve, the next steps are to include XML Schema support and more sophisticated (authoring) tools. A development snapshot can be retrieved by anonymous CVS (see http: // www. mathweb. org/ cvs. html ) directly accessed on the web at http: // ww. mathweb. org/ src/ mathweb/ omdoc . If you are interested in this, please contact the author.